- consequence quantification
- Химическое оружие: количественная оценка последствий
Универсальный англо-русский словарь. Академик.ру. 2011.
consequence quantification
Смотреть что такое "consequence quantification" в других словарях:
Quantification de Landau — En mécanique quantique, la quantification de Landau désigne la quantification des orbitales cyclotroniques de particules chargées dans un champ magnétique. En conséquence, les particules chargées peuvent seulement occuper des orbitales d énergie… … Wikipédia en Français
Philosophy of logic — This article is about philosophy of logic, not philosophical logic. Philosophy of logic is the branch of philosophy that is concerned with the scope and nature of logic. Some fundamental questions with which it is concerned are:* Is there only… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
RELATIVITÉ — En physique, le vocable «relativité» recouvre deux concepts très différents. Celui de relativité restreinte (qui a remplacé la relativité galiléenne ) spécifie la structure cinématique de l’espace temps. Cette structure, d’abord suggérée par… … Encyclopédie Universelle
LOGIQUE (HISTOIRE DE LA) — Ce n’est qu’à une époque relativement récente qu’on a vraiment commencé à s’intéresser à l’histoire de la logique. Jusqu’au milieu du XIXe siècle régnait en effet l’idée que la logique n’avait pas d’histoire, étant, pour l’essentiel, sortie… … Encyclopédie Universelle
LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… … Encyclopédie Universelle
Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… … Wikipedia
Indéterminabilité — Théorème d incomplétude de Gödel Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und… … Wikipédia en Français
Médecine dans la Civilisation Islamique — En histoire de la médecine, le terme médecine islamique ou médecine arabe fait référence à la médecine développée pendant l’âge d or de la civilisation islamique médiévale et consignée dans des écrits en langue arabe, la lingua franca de la… … Wikipédia en Français
Theoreme d'incompletude de Godel — Théorème d incomplétude de Gödel Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und… … Wikipédia en Français
Théorème d'incomplétude — de Gödel Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme (Sur les… … Wikipédia en Français
